Overview of Assertion-Based Verification and its Applications
نویسنده
چکیده
Functional verification is a critical and timeconsuming task in complex VLSI designs. There are two main challenges to functional verification: the first is to insure that the input stimulus can control the function spots inside the design and the second is to insure that the errors can be observed at the design output(s). Over the years, assertion-based verification techniques have been playing a more important role as part of functional verification methodologies. In this paper, we provide an overview of concepts, benefits, languages, and applications of assertionbased verification. Keywords—Design verification, assertion-based verification, assertion languages.
منابع مشابه
Overview of learning theories and its applications in medical education
Introduction: The purpose of teaching is learning, and learning is related to learning theories. These theories describe and explain how people learn. According to various experts' opinion about learning, many theories emerged. The paper reviewed three major approaches include behaviorism, cognitive and constructive learning and its educational applications in medical science. Methods: this pa...
متن کاملAssertion based Inductive Verification Methods for Logic Programs
This paper is an overview of our results on the application of abstract interpretation concepts to the derivation of a verification method for logic programs. These include the systematic design of semantics modeling various proof methods and the characterization of assertions as abstract domains. We first apply the verification framework defined in [5] to derive inductive sufficient conditions...
متن کاملOmnibus: A clean language and supporting tool for integrating different assertion-based verification techniques
Omnibus is a new system for the development of reliable ObjectOriented software. It includes a clean language that is superficially similar to Java but removes aspects that particularly complicate verification. Integrated support is provided for run-time assertion checking, extended static checking and full formal verification. The language is supported by a prototype IDE with a type checker, J...
متن کاملAn Overview of the Artificial Intelligence Applications in Identifying and Combating the Covid-19 Pandemic
Intruduction: In late 2019, people around the world became infected with Covid-19 by the outbreak, the pandemy and epidemy of this disease. To this end, researchers in various fields are seeking to find solutions to the problems related to the control and management of crises. The transmission power of the new corona virus has drawn the attention of experts in the use of artificial intelligence...
متن کاملA new assertion language covering multiple levels of abstraction
In this work, a new assertion language and verification framework has been developed. It enables the specification and validation of temporal properties accross different abstraction levels. This new language is required because existing assertion languages do only offer limited support for the verification of abstract, nonsynthesizable models. The semantics of the language is defined by a mapp...
متن کامل